281. How to prove it : a structured approach
پدیدآورنده : Velleman, Daniel J.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics
رده :
QA
9
.
V4
282. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Collcquium, Kiel, 1974
پدیدآورنده : International Summer Institute and Logic Colloquium, University of Kiel
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
499
283. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده : edited by G. H. Muller, A. Oberschelp, K. Potthoff
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
1
.
L4
v
.
499
284. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
پدیدآورنده : edited by G. H. Muller, A. Oberschelp, and K. Potthoff
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
Vol
.
499
285. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
499
286. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
287. Inconsistent mathematics
پدیدآورنده : Mortensen, Chris
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Inconsistency )Logic(
رده :
QA
9
.
M752
288. Induction and self- induction
پدیدآورنده : Heinz Rieger
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Induction )Mathematics(,، Logic, Symbolic and mathematical
رده :
QA
9
.
R5
I7
1989
289. Inexhaustibility : a non-exhaustive treatment
پدیدآورنده : Franzen, Torkel, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Incompleteness theorems,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
16
290. Intelligent computer mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
291. Intensional and higher-order modal logic : with applications to Montague semantics
پدیدآورنده : Gallin, Daniel.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Modality )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6
.
G35
1975
292. Interpreting Godel : critical essays
پدیدآورنده : edited by Juliette Kennedy
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy
رده :
QA
9
.
2
.
I586
293. Introduction to Mathematical Logic
پدیدآورنده : Malitz, Jerome,Jerome Malitz
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Logic, Symbolic and Mathematical
رده :
QA
9
.
M265
294. Introduction to mathematical logic
پدیدآورنده : Church, Alonzo,3091-
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
295. Introduction to mathematical logic
پدیدآورنده : Mendelson, Elliott, 1391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M46I5
2010
296. Introduction to mathematical logic
پدیدآورنده : Mendelson, Elliott, 1391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M46I5
1987
297. Introduction to mathematical logic
پدیدآورنده : Mendelson, Elliott.,Elliott Mendelson
موضوع : ، Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
298. Introduction to mathematical logic
پدیدآورنده : Church, Alonzo, 3091-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
C47I5
1956
299. Introduction to mathematical logic
پدیدآورنده : Jerome Malitz
موضوع : Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
300. Introduction to mathematical logic
پدیدآورنده : Mendelson, Elliott.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M4